modal operator中文是什么意思

发音:

用"modal operator"造句"modal operator"怎么读"modal operator" in a sentence

中文翻译手机版

模态算子
模态运算子

"modal"中文翻译 adj. 1.方式上的，形态上的；【哲学】(对本质、内容 ...
"operator"中文翻译 n. 1.操作者，机务员；司机，驾驶员；【军事】电话兵； ...
"modal" 中文翻译 : adj. 1.方式上的，形态上的；【哲学】(对本质、内容说的)形式(上)的。 2.【语法】语气 (mood) 的;表示情态 (manner) 的。 3.【逻辑学】程式的；【音乐】调式的；【法律】规定执行[应用]方式的；【统计】众数的。 a modal legacy 指定用途的遗产。 modal auxiliary 情态助动词 (can, may, might, must, should, would 等)。 adv. -ly
"and operator" 中文翻译 : 与算符; 与算子
"and-operator" 中文翻译 : 与算子; “与”算子
"no such operator" 中文翻译 : 操作员不存在
"not operator" 中文翻译 : “非”标符; 非算符; 求反算
"operator" 中文翻译 : n. 1.操作者，机务员；司机，驾驶员；【军事】电话兵；【电话】接线员，话务员(＝telephone operator)；【电报】报务员。 2.(外科)施行手术者。 3.掮客，经纪人。 4.【语法】功能词。 5.【数学】算子，算符。 6.经营者；〔美国〕工厂主，资方。 7.投机商人，骗子；精明圆滑的人。 8.【戏剧】灯光助理员。 an operator's set 话务员的电话机。 a telegraph operator 电报报务员。 an unitary operator 公正算符。 a mine operator 矿山经营者，矿主。
"operator a" 中文翻译 : 操作员a
"or operator" 中文翻译 : 或算符; 或运算子
"or-operator" 中文翻译 : 或算子
"the as operator" 中文翻译 : 操作符
"the is operator" 中文翻译 : 操作符
"the operator" 中文翻译 : 生死连线
"cellulose modal" 中文翻译 : 莫代尔纤维
"cross modal" 中文翻译 : 交叉形式
"lenzing modal" 中文翻译 : 木代尔纤维
"mc=modal" 中文翻译 : 莫代尔
"md modal" 中文翻译 : 莫代尔
"micro modal" 中文翻译 : 超细木代尔
"microdosimetric modal" 中文翻译 : 微剂量测量模型
"modal aggregation" 中文翻译 : 模态集结; 射探伤机
"modal alteration" 中文翻译 : 方式改变
"modal analysis" 中文翻译 : (震)型分析法; 典型分析; 模态分析；众数分析; 实际分析
"modal approach" 中文翻译 : 特征类型分解法

例句与用法

These modal operators are usually available in temporal logic
通常，下列模态操作符可用于时态逻辑：
A blended transform domain watermarking based on multi - value sequence modal operator
基于多值序列模运算的混合变换域水印
Temporal logic employs three or four , depending on the model common modal operators
时态逻辑使用三个（或四个，取决于模型）常见的模态操作符。
Various modal operators can then be applied to these atomic assertions to generate more complex assertions
于是，各种模态操作符都可以应用于这些原子断言以生成更复杂的断言。
In fact , the syntax of temporal rover assertions is the same syntax i ve used in the examples above , where assertions taken by the modal operators are surrounded with braces
实际上， temporal rover断言的语法与我在上面示例中使用的语法相同，其中，模态操作符采用的断言用花括号括起。
The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case . ( 2 ) we introduce a new modal operator
( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。
Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上，讨论了广义格值模态逻辑系统的语义及语法性质，并对其-归结原理做了初步探讨，主要在下述三个方面取得了研究成果：第一部分：关于格值模态命题逻辑系统及其归结方法的研究在此部分，把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ，建立了新的格值模态命题逻辑系统lmp ( x ) ，并研究了它的语义刻画及语法结构，证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的；在此基础上，进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理，给出了计算-直接归结式和-自归结式的规则，并总结出具体的归结方法。